f2f+-event(e)
== [e: sndr is_req   rcvr]
==  [e: sndr is_ack  rcvr]
==  [e: rcvr is_ack  sndr]
==  [e: rcvr is_req   sndr] 

latex

---

clarification:

f2f+-event{i:l}
f2f+-event(es; ff; f2f+; sndr; rcvr; e)
== snd-it(ff;f2f+Req(f2f+);e;sndr;rcvr)
==  rcv-it(ff;f2f+Ack(f2f+);e;sndr;rcvr)
==  snd-it(ff;f2f+Ack(f2f+);e;rcvr;sndr)
==  rcv-it(ff;f2f+Req(f2f+);e;rcvr;sndr) 

latex

Definitions	P  Q, [e: i p j], is_ack , [e: i p j], is_req
FDL editor aliases	f2f+-event